Prof. Ruth Barcan Marcus created quantified modal logic in 1946. She extended the Lewis calculus S2 to cover quantification. Quantified modal logic became an essential tool for the rigorous study of natural language in the hands of R. Montague in the late sixties. Some complex phenomena cannot be properly handled at the level of sentences. Recent researches in formal semantics have concentrated on discourse and led to a rich amount of results. Logical theories introduced for the logical study of programs (...) play an important role in these developments. We shall present a detailed account of the connection between dynamic logic and “static” logic. The core of the paper will be the translation of dynamic logic into S5. Developping an insight due to Prof. J. van Eijck, We shall offer a simplified version of the latter translation. The paper also relates to P. Gärdenfors' Knowledge in Flux. (shrink)

RésuméLes auteurs présentent le problème de l'omniscience logique qui entrave la formalisation de la connaissance et de la croyance dans la thhrie des mondes possibles. Ils étudient ensuite les solutions qui s'inspirent de la distinction entre croyance implicite et explicite proposée par Levesque, et celles qui se fondent sur la logique de la conscience de Fagin et Halpern. Pour remédier aux insuffisances de ces solutions, ils proposent de concevoir la croyance explicite à partir d'une fonction d'analyse logique qui filtre les (...) propositions selon leur profondeur, ce qui permet de justifier logiquement et structurellement la limitation du pouvoir déductif des agents. (shrink)

The Critique of the Power of Judgment is the third of Kant's great critiques following the Critique of Pure Reason and the Critique of Practical Reason. This translation of Kant's masterpiece follows the principles and high standards of all other volumes in The Cambridge Edition of the Works of Immanuel Kant. This volume, first published in 2000, includes: the indispensable first draft of Kant's introduction to the work; an English edition notes to the many differences between the first and second (...) editions of the work; and relevant passages in Kant's anthropology lectures where he elaborated on his aesthetic views. All in all this edition offers the serious student of Kant a dramatically richer, more complete and more accurate translation. (shrink)

Contrary to Sankey’s central assumption, incommensurability does not imply incomparability of content, nor threaten scientific realism by challenging the rationality of theory comparison. Moreover, Sankey equivocates between reference to specific entities by statements used to test theories and reference to kinds by theories themselves. This distinction helps identify and characterize the genuine threat that incommensurability poses to realism, which is ontological discontinuity as evidenced in the historical record: Successive theories reclassify objects into mutually exclusive sets of kinds to which they (...) refer. That is why claiming that scientific progress is an increasingly better approximation to truth is difficult to justify. Similarly, Sankey’s attack on neo-Kantian antirealist positions is based on his misunderstanding of some of the central terms of those positions, making most of his attack on them ineffectual, including his diagnosis of their incoherence. We conclude by reiterating our conviction that in this debate meta-incommensurability plays an important role.Keywords: Scientific realism; Incommensurability; Meta-incommensurability; Thomas Kuhn; Paul Feyerabend; Howard Sankey. (shrink)

Contribution to a symposium on Alan Chalmer's The Scientist’s Atom and the Philosopher’s Stone: How Science Succeeded and Philosophy Failed to Gain Knowledge of Atoms (Springer, Dordrecht, 2009).

This new translation is an extremely welcome addition to the continuing Cambridge Edition of Kant’s works. English-speaking readers of the third Critique have long been hampered by the lack of an adequate translation of this important and difficult work. James Creed Meredith’s much-reprinted translation has charm and elegance, but it is often too loose to be useful for scholarly purposes. Moreover it does not include the first version of Kant’s introduction, the so-called “First Introduction,” which is now recognized as indispensable (...) for an understanding of the work. Werner Pluhar’s more recent translation, which does include the First Introduction, is highly accurate when it confines itself to rendering Kant’s German. However, it is often more of a reconstruction than a translation, containing so many interpretative interpolations that it is often difficult to separate out Kant’s original text from the translator’s contributions. Paul Guyer and Eric Matthews have provided a translation that compares to or exceeds Pluhar’s in its literal approach to the German, but that confines all interpretative material to footnotes and endnotes, so that the text itself, with all its unclarities and ambiguities, lies open to view. In addition, Guyer, as editor of the volume, has provided a great deal of valuable supplementary material. This includes an introduction with an outline of the work and details of the history of its composition and publication, and a wealth of endnotes offering clarifications of the text, background information, and, most strikingly, many references to related passages in Kant’s voluminous writings, particularly in connection with Kant’s earlier writings related to aesthetics. The edition also records differences among the first three editions of the work, and—of particular interest—erasures from and additions to Kant’s manuscript of the First Introduction. Although the introduction and endnotes reflect interpretative views that are sometimes disputable, this supplementary material makes the present edition into a valuable resource even for those able to read the text in German. (shrink)

The Critique of the Power of Judgment (a more accurate rendition of what has hitherto been translated as the Critique of Judgment) is the third of Kant's great critiques following the Critique of Pure Reason and the Critique of Practical Reason. This translation of Kant's masterpiece follows the principles and high standards of all other volumes in The Cambridge Edition of the Works of Immanuel Kant. This volume, first published in 2000, includes: the indispensable first draft of Kant's introduction to (...) the work; an English edition notes to the many differences between the first (1790) and second (1793) editions of the work; and relevant passages in Kant's anthropology lectures where he elaborated on his aesthetic views. All in all this edition offers the serious student of Kant a dramatically richer, more complete and more accurate translation. (shrink)

Angiogenesis is a complex morphogenetic process regulated by growth factors, but also by the force balance between endothelial cells traction stresses and extracellular matrix viscoelastic resistance. Studies conducted with in vitro angiogenesis assays demonstrated that decreasing ECM stiffness triggers an angiogenic switch that promotes organization of EC into tubular cords or pseudo-capillaries. Thus, mechano-sensitivity of EC with regard to proteases secretion, and notably matrix metalloproteinases, should likely play a pivotal role in this switching mechanism. While most studies analysing strain regulation (...) of MMPs used cell cultured on stretched membranes, this work focuses on MMP expression during self-assembly of EC into capillary-like structures within fibrin gels, i.e. on conditions that mimics more closely the in vivo cellular mechanical microenvironment. The activity of MMP-2 and MMP-9, two MMPs that have a pivotal role in capillaries formation, has been monitored in pace with the progressive elongation of EAhy926 cells that takes place during the emergence of cellular cords. We found an increase of the zymogen proMMP-2 that correlates with the initial stages of EC cords formation. However, MMP-2 was not detected. ProMMP-9 secretion decreased, with levels of MMP-9 kept at a rather low value. In order to analyse more precisely the observed differences of EAhy926 response on fibrin and plastic substrates, we proposed a theoretical model of the mechano-regulation of proMMP-2 activation in the presence of type 2 tissue inhibitor of MMPs. Using association/dissociation rates experimentally reported for this enzymatic network, the model adequately describes the synergism of proMMP-2 and TIMP-2 strain activation during pseudo-capillary morphogenesis. All together, these results provide a first step toward a systems biology approach of angiogenesis mechano-regulation by cell-generated extracellular stresses and strains. (shrink)

Uncertainty and affect are fundamental and interrelated aspects of the human condition. Uncertainty is often associated with negative affect, but in some circumstances it is associated with positive affect. In this paper, we review different explanations for the varying relationship between uncertainty and affect. We identify “mental simulation” as a key process that links uncertainty to affective states. We suggest that people have a propensity to simulate negative outcomes, which results in a propensity towards negative affective responses to uncertainty. We (...) also propose the existence of several important moderators of this process, including context and individual differences such as uncertainty tolerance, as well as emotion regulation strategies. Finally, we highlight important knowledge gaps and promising areas for future research, both empirical and conceptual, to further elucidate the relationship between uncertainty and affect. (shrink)

The dynamic nature ofGame-Theoretical Semantics is emphasized. The role of strategic meaning in accounting for linguistic competence is examined. The semantics of epistemic possibility is shown to involve a dynamic ingredient. Update semantics has been designed to capture it. The paper focuses on the interplay betweenlogical and linguistic competences indiscourse understanding.

1. IMPORTANCE OF THE SUBJECT In 1900, in A Critical Exposition of the Philosophy of Leihniz, Russell made the following assertion: "That all sound philosophy should begin with an analysis of propositions is a truth too evident, perhaps, to demand a proof". 1 Forty years later, the interest aroused by this notion had not decreased. C. J. Ducasse wrote in the Journal of Philosophy: "There is perhaps no question more basic for the theory of knowledge than that of the nature (...) of 2 propositions and their relations to judgments, sentences, facts and inferences". Today, the great number of publications on the subject is proof that it is still of interest. One of the problems raised by propositions, the problem of deter mining whether propositions, statements or sentences are the primary bearers of truth and falsity, is even in the eyes of Bar-Hillel, "one of the major items that the future philosophy oflanguage will have to discuss". 3 gave a correct summary of the situation when he wrote in his Ph. Devaux Russell : Since Peano and Schroder who, in fact, adhered more faithfully to Boole's logic of classes, the logical and epistemological status of the proposition together with its analysis have not ceased to be the object of productive philosophical controversies. And especially so since the establishment of contemporary symbolic logic, the foundations 4 of which have been laid out by Russell and Whitehead. * 2. (shrink)

In this paper I shall examine the interrelationships holding between four of the main theses of Quine's philosophy. (1)Ho1ism (2)Underdetennination of scientific theories (3) Indeterminacy of translation (4) Ontological Relativity -/- These four doctrines have generated a lasting controversy: in one interpretation they seem to be false and in the other they are threatened to collapse into triviality. Moreover it has been claimed that they cannot be consistently upheld together. I shall argue, on the contrary, that they are true, original (...) and mutually consistent. (shrink)

I will pick out five philosophical theses which are central in Quine’s philosophy, investigate their relationships, discuss problems raised about their compatibility and show how they should be interpreted.

Lauener's philosophical approach is well-articulated and has many features that are fully justified: epistemology appears at the level of metascience, as a normative discipline; Lauener's transcendentalism is open, the norms being able to evolve over time; in his analytic a priori-synthetic a posteriori dichotomy, analyticity is relative to the context and results from conventions, and the dichotomy is compatible with Quine's universal revisibility; Lauener has shown that a theory and the metatheory it is based on cannot be revised at the (...) same time, a strong argument for ontological relativity but against general holism, he conceives of tmth as applicable only within a theory, relative to an ontology and dependent on references, etc. Other aspects, however, appear more problematic: the idea that mathematical entities are the product of our thinking, which makes them more similar to fictional than to physical objects (the main objection to this is that mathematics plays a constitutive role in physical concepts), or the tendency to speak of "existence relative to modem physics" (as if real existence were a type of existence, on a par with existence in fiction). (shrink)

1. Introduction Dans l?encyclopédie Wikipedia accessible sur Internet, les thèses de Bren­tano sont résumées dans les trois phrases suivantes : L?intentionnalité est une caractéristique de la conscience. L?intentionnalité peut être caractérisée par quelques formules : « contenir quelque chose (pas forcément réel) à titre d?objet », « être à propos de quelque chose », « avoir un objet immanent ». Selon Franz Brentano, l?intentionnalité est le critère permettant de distinguer les « faits » psychiques des « faits » physiques : (...) tout fait psychique est intentionnel, c?est-à-dire qu?il contient quelque chose à titre d?objet bien que ce soit toujours d?une manière différente (croyance, jugement, perception, conscience, désir, haine, etc.). Comme le souligne Denis Seron, l?intentionnalité pour Brentano est une rela­tion, mais ce n?est pas une relation comme les autres dans la mesure où elle n?exige pas l?existence de tous ses termes [Seron 2010]. C?est pour capter cette particularité que Brentano emprunte à saint Thomas le concept d? in­existence intentionnelle [McCormick 1981]. P ar exemple, on peut penser à un objet non réel comme la planète inexistante Vulcain dont certains astro­nomes du xix e siècle avaient postulé l?existence pour expliquer les pertur­bations de l?orbite de Mercure. Il est clair qu?une relation intentionnelle comme « penser à » aura une logique à part. (shrink)

SummaryThe paper is a critical survey of the semantics and pragmatics of Indexicals. Both the coordinate‐approach due to Lewis and the semantization of pragmatics attempted by Lakoff are shown to be inadequate. Cresswell's more dynamic approach is shown to withstand the objections raised against it. Sophisticated accounts such as a two dimensional tense logic, or a semantics involving pragmatic models and multiple reference models are shown to be necessary to cope with the intricacies of the use of tense in natural (...) language. Benveniste's division of time into physical, chronic and linguistic time is assessed and criticised for missing the phenomenon of tense anaphora. Finally, the problem of the interaction between the utterance's time and the indexicals is analysed. (shrink)

This chapter contains sections titled: Introduction A Methodology for Ontology The Need for a Criterion of Ontological Commitment The Role of a Canonical Notation The Ontology of Mathematics The Notion of Existence The Ontology of Natural Sciences Do Intensions Belong to the Furniture of the World? How to Treat Intensional Contexts without Positing Intensions Fiction, Intentional Objects and Existence Lesniewski's Ontology Acknowledgments.

The survey sums up some of the most important contributions to the philosophy of mathematics and physics made by the Belgian philosophers Renoirte, Dockx, Devaux, Ladrière, Hirsch, Apostel and Ruytinx. It is shown that most Belgia philosophers of science are more interested in giving a critical account of the actual practice of the working scientist than in sketching speculative and idealized pictures of science. This frame of mind is also affected by the allegiance that Positivism in its widest sense commands (...) in Belgium together with Gonseth's Idoneism and Piaget's genetic epistemology. The survey also refers to the seminal ideas of the new rhetorics developed by Prof. Perelman whose school in the philosophy of law has obtained important results in the analysis of the historian's and lawyer's reasoning. (shrink)

The logic of intentional verbs and constructions has been intensively studied over the last twenty years in different logical fields : pure logic, philosophy of logic, logic for AI and logic computer science. There is little interaction among these scientific communities. In this paper I shall bring together the more significant results which have been obtained and offer an up to date status quaestionis. I will reduce logical technicalities to a minimum. and lay emphasis on what is philosophically and ethically (...) significant in the recent formalizations of intentional verb and adverbs. (shrink)

W. van Orman Quine is one of the leading philosophers in America today. His thinking, however, has received little attention from philosophers in continental Europe. This book is a systematic and critical account of Quine's philosophy which aims at isolating what is of lasting value in his work. Each of his major theses is submitted to a thorough examination both from within and from without his general standpoint. Quine's positions have changed a great deal over the years in response to (...) external criticism and to internal stresses and strains. These changes are described and assessed. Quine's rejection of the analytic-synthetic dichotomy is considered in the light of non-monotonic logic. The multi-farious versions of his holism are brought together and evaluated. Dummett's objection to the effect that holism is inconsistent with empiricism is refuted. lt is argued, however, that the controversial thesis of the indeterminacy of translation becomes implausible as soon as learnability constraints are brought to bear on the matter. Quine's new definition of logical truth in terms of grammatical structure is vindicated. It is shown how the apparent conflict between his earlier and his later views on ontology can be superseded. Can Quine hold a relativist view of ontology and at the same time maintain a non-relativist theory of truth? Can he hold that truth is internal to theories and claim that scientific theories are underdetermined by observational data without lending support to relativism? An affirmative answer to the first question is defended. It is argued, however, that Quine could not meet the second challenge. Quine's penetrating criticism of modal logic has prompted several research programs. Paul Gochet exhibits the interrelations between these programs and argues that Quine's objections against modal logic can be met without any commitment to doctrines such as essentialism. Of interest to: Philosophers, logicians, linguists. (shrink)